prove the derivative of sin